Wyniki
-
Towards intuitionistic dynamic logic
J.W. Degen, J.M. Werner
Logic and Logical Philosophy , 15 /4 (2006) s. 305-324
J.W. Degen,
J.M. Werner
Logic and Logical Philosophy
, 15
/4
(2006)
s. 305-324